Formal system - PDFSEARCH.IO - Document Search Engine

Formal system
Results: 1034

#	Item
881	Indian Journal of Spatial Science Vol[removed]No. 2 Winter Issue 2013 pp[removed]Indian Journal of Spatial Science EISSN: [removed]ISSN: [removed]journal homepage: www.indiansss.org Add to Reading List Source URL: indiansss.org Language: English - Date: 2013-10-25 02:48:56 Cartography Geography Landsat program Formal sciences Computer vision Wetland Ground truth Geographic information system Spatial analysis Statistics Science Earth
882	MATHLEX A WEB-BASED MATHEMATICAL ENTRY SYSTEM An Undergraduate Research Scholars Thesis by MATTHEW J. BARRY Add to Reading List Source URL: ugrthesis.mathlex.org Language: English - Date: 2014-03-30 23:16:38 Markup languages Formal languages Mathematical markup languages Cross-platform software Compiler construction MathML MathJax LaTeX TeX Computing Software Mathematical software
883	Espejo, R[removed]). "Seeing a case study through a cybernetic epistemological lens" Kybernetes[removed]): [removed]Abstract Purpose – This paper aims to contribute to the understanding of the knowledge that Beer’s Add to Reading List Source URL: www.syncho.com Language: English - Date: 2011-12-04 14:10:10 Science Formal sciences Cybernetics Control theory Robotics Viable system model Logic University Knowledge Academia Systems theory
884	The Yingzao fashi in the information age1 By Andrew I-kang Li2 Introduction In the study of Chinese architecture, the manual Yingzao fashi 營造法式 (Building standards) occupies a uniquely important position. Not onl Add to Reading List Source URL: andrew.li Language: English - Date: 2010-08-12 12:54:50 Chinese culture Construction Formal languages Roofs Architectural history Yingzao Fashi Liang Sicheng Paifang Li Jie Chinese architecture Architecture Structural system
885	A Formal Symbolic Framework for Structure-Based Reasoning Brian E. Mastenbrook Roosevelt University [removed] May 13, 2003 Add to Reading List Source URL: brian.mastenbrook.net Language: English - Date: 2006-02-06 10:34:25 Science Inductive reasoning Critical thinking Thought Reasoning system Case-based reasoning Reason Algorithm Introspection Reasoning Mind Cognition
886	Intellectual Property Office formal consultation response document Add to Reading List Source URL: www.ipo.gov.uk Language: English - Date: 2012-03-08 06:41:15 Law Property law Community Trade Mark Trademark Madrid system Intellectual property law Trademark law Civil law
887	Research Skills for the World of Big Data A five-day workshop teaching practical computer programming skills for collecting, manipulating and analysing large, web based data sources April 30, May 2, 3, 7 &[removed]cre Add to Reading List Source URL: www.eui.eu Language: English - Date: 2014-03-26 19:57:50 Emerging technologies Science EUDO European Union Geographic information system Big data Programming language Data Data visualization Technology Data management Formal sciences
888	Efficient Hybrid Typestate Analysis by Determining Continuation-Equivalent States ∗ Eric Bodden Add to Reading List Source URL: www.bodden.de Language: English - Date: 2010-02-14 13:25:15 Software Formal methods Logic in computer science Runtime verification Static program analysis Pointer analysis NOP Type system Algorithm Program analysis Computing Programming language theory
889	A Partially evaluating finite-state runtime monitors ahead of time ERIC BODDEN, Technische Universit¨at Darmstadt PATRICK LAM, University of Waterloo LAURIE HENDREN, McGill University Add to Reading List Source URL: 21w.ca Language: English - Date: 2014-02-12 18:13:43 Aspect-oriented software development Formal methods Logic in computer science Aspect-oriented programming Cross-platform software Runtime verification Formal verification Type system Monitor Software development Computing Software engineering
890	Evolution Programs Evolved Christian Jacob University of Erlangen-Nürnberg, Lehrstuhl für Programmiersprachen, Martensstr. 3, D[removed]ERLANGEN, Germany email: [removed] http://www2.informatik.uni Add to Reading List Source URL: pages.cpsc.ucalgary.ca Language: English - Date: 2001-04-08 19:52:33 Computing Aristid Lindenmayer Genetic programming Symbol L-system Regular expression String The Algorithmic Beauty of Plants Permutation Formal languages Mathematics Combinatorics

UPDATE